Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
601	4 Static Inverted Indices In this chapter we describe a set of index structures that are suitable for supporting search queries of the type outlined in Chapter 2. We restrict ourselves to the case of static text collect Add to Reading List Source URL: www.ir.uwaterloo.ca Language: English - Date: 2010-01-22 03:41:41 Information Data types Abstract data types Data management Associative arrays Inverted index Search engine indexing Hash table Trie Computing Information science Search algorithms
602	Type the title of your abstract here (Arial, Bold, sentence case, 11 point font size, centre justified) Type Authors here (First name and surnames in lower bold case, Arial, 11 point font size) Type Author Affiliations Add to Reading List Source URL: www.cricketcongress2015.org Language: English - Date: 2014-04-21 19:52:02 Italic type Abstract Letter case Printing Moscow Oblast Jerry Avorn Typography Arial Graphic design
603	Enhanced “enclosures” support in RSS and ATOM Syndication Vadim Zaliva, [removed] Alexander Sova, [removed] December 15, 2004 Abstract Add to Reading List Source URL: www.crocodile.org Language: English - Date: 2004-12-15 15:36:24 Computer file formats RSS enclosure Markup languages Atom Technical communication Dave Winer Document Type Definition HTML element XML Computing World Wide Web RSS
604	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2010-12-04 12:52:17 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
605	Waste Authority of WA “Collection Box” Project Jade Stott [Type the abstract of the document here. The abstract is typically a short summary of the contents of the document.] Add to Reading List Source URL: www.wasteauthority.wa.gov.au Language: English - Date: 2014-02-11 22:04:15 Electronics Nikon F Nikon 1 series Digital camera Digital single-lens reflex camera Camera Lumix Nikon Red Digital Cinema Camera Company Digital photography Photography Technology
606	LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan Abstract This paper describes LCLint, an efficient and flexible tool that accepts as input programs (writt Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 1999-12-09 17:40:10 C++ Procedural programming languages Data types Type theory C programming language ALGOL 68 Typedef D Nm Computing Software engineering Computer programming
607	UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: www.spinroot.com Language: English - Date: 2008-06-30 15:34:28 Data types Cross-platform software Procedural programming languages Type theory Pointer Main function C Static single assignment form Dataflow Software engineering Computing Computer programming
608	"Operation Registration" Project Abstract Bicycle thefts have become a growing concern throughout the United States and Dayton, Ohio. Bicycle theft is the type of crime that has an impact on people from all walks of li Add to Reading List Source URL: www.popcenter.org Language: English - Date: 2009-05-19 13:30:52 Appropriate technology Bicycles Bicycle Cycling Police bicycle Bicycle sharing system Electric bicycle laws Transport Land transport Sustainability
609	Extracted from: Programming Ruby The Pragmatic Programmers’ Guide Second Edition Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:37:53 Data types Abstract data types Functional programming Scripting languages Search algorithms Ruby Iterator List Array data type Computing Software engineering Computer programming
610	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract Add to Reading List Source URL: itu.dk Language: English - Date: 2013-07-29 03:28:29 Computing Data types Functional languages Object-oriented programming Functional programming Type system Generalized algebraic data type Agda Dependent type Software engineering Type theory Programming language theory

UPDATE